((RWO "p{-}fun{-}exp{-}add" 0) \\[0ex]CollapseTHENA (Auto$\cdot$))$\cdot$